A Progress Report on Incremental Global Compilationof

نویسنده

  • Andreas Krall
چکیده

Traditional native code generating Prolog compilers with global analysis compile programs as a whole and do not support the data base builtin-predicates assert and retract. In this paper we present a scheme to both enable global analysis and incremental compilation. This incremental compiler is based on the Vienna Abstract Machine (VAM). A version of the VAM, the VAM AI , is used as an abstract machine for abstract interpretation. The VAM AI does the data ow analysis by a factor of two hundred faster than the previous used meta interpreter written in Prolog. This fast execution together with a compact representation of the intermediate code makes incremental global compilation feasible. Preliminary results of intermediate code size, size of generated machine code, compile time and run time are presented.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Achieving a “Grand Convergence” in Global Health by 2035: Rwanda Shows the Way; Comment on “Improving the World’s Health Through the Post-2015 Development Agenda: Perspectives From Rwanda”

Global Health 2035, the report of The Lancet Commission on Investing in Health, laid out a bold, highly ambitious framework for making rapid progress in improving global public health outcomes. It showed that with the right health investments, the international community could achieve a “grand convergence” in global health—a reduction in avertable infectious, maternal, and child deaths down to ...

متن کامل

Progress in Global Surgery; Comment on “Global Surgery – Informing National Strategies for Scaling Up Surgery in Sub-Saharan Africa”

Impressive progress has been made in global surgery in the past 10 years, and now serious and evidence-based national strategies are being developed for scaling-up surgical services in sub-Saharan Africa. Key to achieving this goal requires developing a realistic country-based estimate of burden of surgical disease, developing an accurate estimate of existing need, deve...

متن کامل

Critical Global Health: Responding to Poverty, Inequality and Climate Change; Comment on “Politics, Power, Poverty and Global Health: Systems and Frames”

A recent article by Sol Benatar calls on the global health community to reassess its approach to twin crises of global poverty and climate change. I build on his article by challenging mainstream narratives that claim satisfactory progress in efforts to reduce poverty and improve health for all, and arguing that any eradication of poverty that is consistent with environmental sustainability wil...

متن کامل

توسعه پایدار و مدیریت دولتی در هند

Development is surely as old as human civilization itself. But as a conscious thrust or emphasis on global scale and level, it is hardly forty five years old. Today, it is man's top priority. The develomental effort has yielded handsome results also. This is a consequence of science and technology which have revolutionized human life. Striking gains have been made in the areas of health and edu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994